Retrieved Title(s):24 . Publication type: Book Tilte: Logic for information technology Author(s): Antony Galton (Author), Publication Data: Chichester: John Wiley and Sons Publication Year: 1990 ISBN: 0-471-92933-6 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: How to read and do proofs : an introduction to mathematical thought processes Author(s): Daniel Solow (Author), Publication Data: New York: John Wiley & Sons Publication Year: 1990 Edition: 2nd ed. ISBN: 0-471-51004-1 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Elements of the theory of computation Author(s): Harry R. Lewis (Author), Christos H. Papadimitriou (Author), Publication Data: Englewood Cliffs, New Jersey: Prentice-Hall, Inc. Publication Year: 1981 Call Number: 511.3 LEW ISBN: 0-13-273417-6 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Logic for computer science : foundations of automatic theorem proving Author(s): Jean H. Gallier (Author), Publication Data: New York: John Wiley & Sons Publication Year: 1986 ISBN: 0-471-61546-3 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Theory of computation Author(s): Derick Wood (Author), Publication Data: New York: John Wiley & Sons Publication Year: 1987 Call Number: 511.3 WOO Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Logic for mathematicians Author(s): A. G. Hamilton (Author), Publication Data: Cambridge: Cambridge University Press Publication Year: 1978 ISBN: 0-521-21838-1 0-521-29291-3 Copie(s) info.: ● Total number of Copie(s):2 . Publication type: Book Tilte: Logic from computer science : proceedings of a workshop held November 13-17, 1989 Author(s): Y. N. Moschovakis (ed.), Publication Data: New York: Springer-Verlag Publication Year: 1991 ISBN: 0-387-97667-1 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Fuzzy sets and fuzzy logic : theory and applications Author(s): George J. Klir (Author), Bo Yuan (Author), Publication Data: Upper Saddle River, New Jersey: Prentice-Hall Publication Year: 1995 ISBN: 0-13-101171-5 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: logic and its applications Author(s): Edmund Burke (Author), Eric Foxley (Author), Publication Data: London: Prentice-Hall Publication Year: 1996 ISBN: 0-13-030263-5 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to the theory of finite-state machines Author(s): Arthur Gill Publication Data: N.Y.: McGraw-Hill Publication Year: 1962 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Elements of the theory of computation Author(s): Harry R. Lewis (Author), Christos H. Papadimitriou (Author), Publication Data: Upper Saddle River, New Jersey: Prentice Hall Publication Year: 1998 Edition: 2nd ed. ISBN: 0-13-262478-8 Copie(s) info.: ● Total number of Copie(s):11 . Publication type: Book Tilte: Languages and machines : an introduction to the theory of computer science Author(s): Thomas A. Sudkamp (Author), Publication Data: Reading, Massachusetts: Addison-Wesley Publication Year: 1997 Edition: 2nd ed. ISBN: 0-201-82136-2 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to languages and the theory of computation Author(s): John C. Martin Publication Data: New York: The McGraw - Hill Companies Publication Year: 1996 Edition: 2nd ed. Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: A first course in formal language theory Author(s): V. J. Rayward-Smith (Author), Publication Data: London: McGraw-Hill Book Company Publication Year: 1995 Edition: 2nd ed. ISBN: 0-07-709245-7 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to the theory of computation Author(s): Michael Sipser (Author), Publication Data: Boston: PWS Publishing Company Publication Year: 1996 ISBN: 0-534-94728-X Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to languages and the theory of computation Author(s): John C. Martin (Author), Publication Data: Boston: McGraw-Hill Publication Year: 2003 Edition: 3rd ed. ISBN: 0-07-119854-7 0-07-232200-4 Copie(s) info.: ● Total number of Copie(s):3 . Publication type: Book Tilte: How to read and do proofs : an introduction to mathematical thought processes Author(s): Daniel Solow (Author), Publication Data: New York: John Wiley & Sons, Inc. Publication Year: 2002 Edition: 3rd ed. Call Number: 511.3 SOL ISBN: 0471453005 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Elements of logic via numbers and sets Author(s): D. L. Johnson (Author), Publication Data: London: Springer Publication Year: 1998 Call Number: 511.3 JOH ISBN: 3-540-76123-3 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: An introduction to mathematical reasoning : numbers, sets, and functions Author(s): Peter J. Eccles (Author), Publication Data: Cambridge: Cambridge University Press Publication Year: 1997 Call Number: 511.3 ECC ISBN: 0-521-59718-8 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to the theory of computation Author(s): Michael Sipser (Author), Publication Data: Boston: Thomson Course Technology Publication Year: 2006 Edition: 2nd ed. Call Number: 511.3 SIP ISBN: 0-619-21764-2 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to languages and the theory of computation Author(s): John C. Martin (Author), Publication Data: New Delhi: Tata McGraw Hill Education Publication Year: 2013 (reprint) Edition: 3rd ed. , special Indian ed. ISBN: 978-0-07-066048-9 Copie(s) info.: ● Total number of Copie(s):2 . Publication type: Book Tilte: Introduction to the theory of computation Author(s): Michael Sipser (Author), Publication Data: Boston,MA: Cengae Learning Publication Year: 2013 Edition: 3rd ed. (International ed.) Call Number: 511.3 SIP ISBN: 978-1-133-18781-3 Copie(s) info.: ● Total number of Copie(s):1 . Publication type: Book Tilte: Introduction to theory of computation Author(s): Bikash Kanti Sarkar (Author), Ambuj Kumar (Author), Publication Data: Telangana: University Press Publication Year: 2019 Call Number: 511.3 SAR ISBN: 978-93-86235-75-6 Copie(s) info.: ● Total number of Copie(s):2 . Publication type: Book Tilte: Elementary symbolic logic Author(s): William Gustason (Author), Dolph E. Ulrich (Author), Publication Data: New York: Holt, Rinehart and winston, Inc. Publication Year: 1973 Call Number: 511.3 GUS ISBN: 0-03-004616-5 Copie(s) info.: ● Total number of Copie(s):1